Flow-sensitive Typing - mrsekut-p

Flow-sensitive Typing

occurrence typing

型安全性のあるキャスト

型の絞り込み

個人的に理解しやすいのはTypeScriptのTypeGuardだ

if文でnullableを見たらnullチェックになるやつ

https://kmizu.hatenablog.com/entry/2016/03/14/133512

https://kotlinlang.org/docs/reference/typecasts.html

https://ceylon-lang.org/documentation/1.2/introduction/#typesafe_null_and_flow_sensitive_typing

TypeScriptのControl Flow Analysis

https://en.wikipedia.org/wiki/Flow-sensitive_typing

/herp-technote/Flow-sensitive Typing

https://blog.miz-ar.info/2023/12/beyond-tapl/